Un espace vectoriel est un "terrain de jeu" mathématique rigoureux défini non par la nature de ses objets, mais par leur comportement. Que vous traitiez des vecteurs dans $\mathbf{R}^n$, des matrices dans $\mathbf{M}$, ou des fonctions continues, les mêmes règles s'appliquent.
Les huit axiomes de l'espace
Toute collection d'objets forme un espace vectoriel si elle respecte ces règles fondamentales :
- 1. Commutativité : $x + y = y + x$
- 2. Associativité : $x + (y + z) = (x + y) + z$
- 3. Vecteur nul : Il existe un unique $0$ tel que $x + 0 = x$
- 4. Inverses : Pour chaque $x$, il existe un unique $-x$ tel que $x + (-x) = 0$
- 5. Identité : $1x = x$
- 6. Associativité scalaire : $(c_1c_2)x = c_1(c_2x)$
- 7. Distributivité (I) : $c(x + y) = cx + cy$
- 8. Distributivité (II) : $(c_1 + c_2)x = c_1x + c_2x$
Définition des sous-espaces
Un sous-espace $S$ de $V$ est un sous-ensemble qui est « fermé » sous les opérations de l'espace plus grand. Vous ne pouvez jamais sortir du sous-ensemble en ajoutant ses éléments ou en les multipliant par un scalaire.
Le théorème de fermeture
Un sous-ensemble $S$ est un sous-espace si et seulement si pour tout $v, w \in S$ et tout scalaire $c, d$ :
$$cv + dw \in S$$
Cela implique que $S$ doit contenir le vecteur nul ($0 \in S$), car $0v = 0$.L'enveloppe linéaire et la somme
L' enveloppe linéaire d'un ensemble $S$ est le plus petit sous-espace contenant tous les vecteurs de $S$ :
$$SS = \text{tous les } c_1v_1 + \dots + c_nv_n$$
En outre, étant donné deux sous-espaces $S$ et $T$, leur somme $S + T$ (contenant tous les vecteurs $s+t$) forme un nouveau sous-espace. Notez que l' union $S \cup T$ est presque jamais un sous-espace !
🎯 Le test du "zéro"
La méthode la plus rapide pour éliminer un sous-ensemble comme sous-espace est de vérifier la présence du vecteur nul. Si $x=0$ n'est pas inclus, il ne peut pas être un sous-espace. Les pièges courants incluent les plans décalés par rapport à l'origine ou les quadrants excluant les valeurs négatives.